Nordic Journal of Computing

См. также в других словарях:

• Journal pagination — refers to the manner in which academic journals assign page numbers to their publications. Academic journals usually organize their published articles into volumes (often by year) and issues (anywhere from 2 24 per year). When a journal restarts… …   Wikipedia

• Grid computing — is a term referring to the combination of computer resources from multiple administrative domains to reach a common goal. The grid can be thought of as a distributed system with non interactive workloads that involve a large number of files. What …   Wikipedia

• K-set (geometry) — In discrete geometry, a k set of a finite point set S in the Euclidean plane is a subset of k elements of S that can be strictly separated from the remaining points by a line. More generally, in Euclidean space of higher dimensions, a k set of a… …   Wikipedia

• Merge sort — Example of merge sort sorting a list of random dots. Class Sorting algorithm Data structure Array Worst case performance O(n log n) …   Wikipedia

• Fxgrep — (The Functional XML Querying Tool) is a XML querying tool written in the Standard ML programming language. It addresses the problem of dealing with k ary queries, that is, the task of simultaneously locating k nodes of an input XML tree that… …   Wikipedia

• Object model — In computing, object model has two related but distinct meanings: The properties of objects in general in a specific computer programming language, technology, notation or methodology that uses them. For example, the Java objects model, the COM… …   Wikipedia

• Sylvester–Gallai theorem — The Sylvester–Gallai theorem asserts that given a finite number of points in the Euclidean plane, either all the points are collinear; or there is a line which contains exactly two of the points. This claim was posed as a problem by J. J.… …   Wikipedia

• Agda (theorem prover) — Agda is a theorem prover, i.e. a computer program that can check mathematical proofs. More specifically, it is an interactive system for developing constructive proofs in a variant of Per Martin Löf s Type Theory. It can also be seen as a… …   Wikipedia

• Théorème de Sylvester–Gallai — Le théorème de Sylvester–Gallai affirme qu étant donné un ensemble fini de points du plan, on a l alternative suivante : soit tous les points sont colinéaires, soit il existe une droite qui contient exactement deux de ces points (droite… …   Wikipédia en Français

• Modelo de objeto — En computación, un modelo de objeto tiene dos significados relacionados pero distintos: Las propiedades de objetos en general, en un lenguaje de programación específico, la tecnología, la notación o la metodología que los usa. Por ejemplo, el… …   Wikipedia Español

• NJC — abbr. Nordic Journal of Computing …   Dictionary of abbreviations